- idUS
- Listar por autor
Listar por autor "Borrego Núñez, Diana"
Mostrando ítems 1-20 de 35
-
Ponencia
A Constraint-based Job-Shop Scheduling Model for Software Development Planning
Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009)This paper proposes a constraint-based model for the Job Shop Scheduling Problem to be solved using local search ...
-
Ponencia
A Constraint-based Model for Multi-objective Repair Planning
Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (IEEE Computer Society, 2009)This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ...
-
Ponencia
A Multiobjective Constraint Optimization Model for Multimode Repair Plans
Barba Rodríguez, Irene; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (SciTePress, 2009)This work presents a constraint based model for the planning and scheduling of disconnection and connection tasks when ...
-
Ponencia
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models
Varela Vaca, Ángel Jesús; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2016)Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple ...
-
Artículo
Automating correctness verification of artifact-centric business process models
Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa (Elsevier, 2015)Context: The artifact-centric methodology has emerged as a new paradigm to support business process management over the ...
-
Ponencia
Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration
Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa; Barba Rodríguez, Irene (Linköping University, 2009)The interaction between business processes (BPs) by means of a choreography is considered as a Business-to-Business ...
-
Ponencia
Computing alignments with constraint programming : the acyclic case
Gómez López, María Teresa; Borrego Núñez, Diana; Carmona, Josep; Martínez Gasca, Rafael (CEUR-WS.Org, 2016)Conformance checking confronts process models with real process executions to detect and measure deviations between ...
-
Artículo
Conformance checking and diagnosis for declarative business process models in data-aware scenarios
Borrego Núñez, Diana; Barba Rodríguez, Irene (Elsevier, 2014)A business process (BP) consists of a set of activities which are performed in coordination in an organizational and ...
-
Artículo
Constraint satisfaction techniques for diagnosing errors in Design by Contract software
Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Borrego Núñez, Diana (Association for Computing Machinery (ACM), 2006)Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that ...
-
Capítulo de Libro
Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems
Gómez López, María Teresa; Martínez Gasca, Rafael; Parody Núñez, María Luisa; Borrego Núñez, Diana (Springer, 2013)A business process consists of a set of activities that are performed in coordination in an organizational and technical ...
-
Ponencia
Contract-based Diagnosis for Business Process Instances using Business Compliance Rules
Borrego Núñez, Diana; Martínez Gasca, Rafael; Gómez López, María Teresa; Parody Núñez, María Luisa (PHM Society, 2010)In order to increase the quality of business pro cesses when they are automated, the correctness of the activities can ...
-
Ponencia
Determination of an optimal test points allocation for business process analysis
Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (IEEE Computer Society, 2010)The management and automation of business processes have become an essential task within IT organizations. Diagnosis ...
-
Capítulo de Libro
Diagnosing Business Processes
Borrego Núñez, Diana; Gómez López, María Teresa (Springer, 2019) -
Ponencia
Diagnosing Business Processes Execution using Choreography Analysis
Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Barba Rodríguez, Irene (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2008)This work presents a proposal to diagnose business processes that form a global process using a choreography analysis. ...
-
Artículo
Diagnosing correctness of semantic workflow models
Borrego Núñez, Diana; Eshuis, Rik; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2013)To model operational business processes in an accurate way, workflow models need to reference both the control flow and ...
-
Ponencia
Diagnosing Errors in DbC Programs Using Constraint Programming
Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (Springer, 2005)Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, ...
-
Ponencia
Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones
Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Parody Núñez, María Luisa (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2010)El desarrollo de proyectos software similares es habitual en las empresas de desarrollo de software. Esto proporciona ...
- Tesis Doctoral
-
Artículo
Empirical Evidence of the Usage of Programming Languages in the Educational Process
Vinueza Morales, Mariuxi; Borrego Núñez, Diana; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (IEEE Computer Society, 2021)Contribution: A systematic literature review on the empirical evidence regarding the usage of programming languages for ...
-
Tesis Doctoral
Evidencias empíricas en el proceso de enseñanza de la programación. Una aproximación usando ALICE en el contexto universitario
Vinueza Morales, Mariuxi (2022-11-29)Aprender a programar es una de las habilidades fundamentales para los estudiantes relacionados con el área de la informática. ...